We elaborate Weiermann-style phase transitions for well-partial-orderings (wpo) determined by iterated finite sequences under Higman-Friedman style embedding with Gordeev’s symmetric gap condition. For every d-times iterated wpo \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$$\end{document} in question, d > 1, we fix a natural extension of Peano Arithmetic, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T \supseteq \sf{PA}}$$\end{document}, that proves the corresponding second-order sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{WPO}\left({\rm (...) S}{\textsc{eq}}^{d}, \trianglelefteq _{d}\right) }$$\end{document}. Having this we consider the following parametrized first-order slow well-partial-ordering sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}, r\right):}$$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left( \forall K > 0 \right) \left( \exists M > 0\right) \left( \forall x_{0},\ldots,x_{M}\in {\rm S}\text{\textsc{eq}}^{d}\right)$$\end{document}\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\left( \left( \forall i\leq M\right) \left( \left| x_{i}\right| 1}$$\end{document} then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d},r \right) }$$\end{document} is not provable in T.Moreover, by the well-known proof theoretic equivalences we can just as well replace T by PA or ACA0 and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta _{1}^{1}\sf{CA}}$$\end{document}, if d = 2 and d = 3, respectively.In the limit case d → ∞ we replaceEFA-provably computable reals r by EFA-provably computable functions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${f: \mathbb{N} \rightarrow \mathbb{R}_{+}}$$\end{document} and prove analogous theorems. (In the sequel we denote by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}_{+}}$$\end{document} the set of EFA-provably computable positive reals). In the basic case T = PA we strengthen the basic phase transition result by adding the following static threshold clause\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1\right)}$$\end{document} is still provable in T = PA (actually in EFA). Furthermore we prove the following dynamic threshold clauses which, loosely speaking are obtained by replacing the static threshold t by slowly growing functions 1α given by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${1_{\alpha }\left( i\right)\,{:=}\,1+\frac{1}{H_{\alpha }^{-1}\left(i\right) }, H_{\alpha}}$$\end{document} being the familiar fast growing Hardy function and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${H_{\alpha }^{-1}\left( i\right)\,{:=}\,\rm min \left\{ j \mid H_{\alpha } \left ( j\right) \geq i \right\}}$$\end{document} the corresponding slowly growing inversion. If \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\alpha < \varepsilon _{0}}$$\end{document}, then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2}, 1_{\alpha}\right)}$$\end{document} is provable in T = PA. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\sf{SWP}\left( {\rm S}\text{\textsc{eq}}^{2}, \trianglelefteq _{2},1_{\varepsilon _{0}}\right)}$$\end{document} is not provable in T = PA. We conjecture that this pattern is characteristic for all \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T\supseteq \sf{PA}}$$\end{document} under consideration and their proof-theoretical ordinals o (T ), instead of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varepsilon _{0}}$$\end{document}. (shrink)

We defend the many-worlds interpretation of quantum mechanics against the objection that it cannot explain why measurement outcomes are predicted by the Born probability rule. We understand quantum probabilities in terms of an observer's self-location probabilities. We formulate a probability postulate for the MWI: the probability of self-location in a world with a given set of outcomes is the absolute square of that world's amplitude. We provide a proof of this postulate, which assumes the quantum formalism and two principles concerning (...) symmetry and locality. We also show how a structurally similar proof of the Born rule is available for collapse theories. We conclude by comparing our account to the recent account offered by Sebens and Carroll. (shrink)

The many worlds interpretation of quantum mechanics (MWI) states that the world we live in is just one among many parallel worlds. It is widely believed that because of this commitment to parallel worlds, the MWI violates common sense. Some go so far as to reject the MWI on this basis. This is despite its myriad of advantages to physics (e.g. consistency with relativity theory, mathematical simplicity, realism, determinism, etc.). Here, we make the case that common sense in fact favors (...) the MWI. We argue that causal explanations are commonsensical only when they are local causal explanations. We present several quantum mechanical experiments that seem to exhibit nonlocal “action at a distance”. Under the assumption that only one world exists, these experiments seem immune to local causal explanation. However, we show that the MWI, by taking all worlds together, can provide local causal explanations of the experiments. The MWI therefore restores common sense to physical explanation. (shrink)

Philosophical Analysis Its Development between the Two World Wars.

Moral philosophers tend to discriminate, explicitly or implicitly, three types of action from the point of view of moral worth. First, they recognize actions that are a duty, or obligatory, or that we ought to perform, treating these terms as approximately synonymous; second, they recognize actions that are right in so far as they are permissible from a moral standpoint and not ruled out by moral considerations, but that are not morally required of us, like the lead of this or (...) that card at bridge; third, they recognize actions that are wrong, that we ought not to do. (shrink)

Aristotle's doctrine of the mean is not a counsel to perform mean or moderate actions. It states that excellence of character is a mean state with regard to the having and displaying of emotions. All emotions are morally neutral; character is shown by displaying emotions on the right occasions, Not too often or too rarely, Not too strongly or too weakly, For sufficient and only sufficient reasons, Etc. The difficulties for such a view presented by justice and such bad emotions (...) as envy are discussed. The conclusion is that basically aristotle's theory can resist critical scrutiny. (shrink)

J. O. Urmson; VIII*—A Defence of Intuitionism, Proceedings of the Aristotelian Society, Volume 75, Issue 1, 1 June 1975, Pages 111–120, https://doi.org/10.1093/.

J. O. Urmson; VIII*—A Defence of Intuitionism, Proceedings of the Aristotelian Society, Volume 75, Issue 1, 1 June 1975, Pages 111–120, https://doi.org/10.1093/.

The essays in this volume explore current work in central areas of philosophy, work unified by attention to salient questions of human action and human agency. They ask what it is for humans to act knowledgeably, to use language, to be friends, to act heroically, to be mortally fortunate, and to produce as well as to appreciate art. The volume is dedicated to J. O. Urmson, in recognition of his inspirational contributions to these areas. All the essays but one have (...) been specially written for this volume. (shrink)

Instrumentalism is an approach to science that treats a theory as a tool and only as a tool for computation; it dispenses with the concept of truth.Conventionalism treats a theory as true by convention if it forms a pattern of observations from which correct predictions can be made.Operationalism denies meaning to the concepts of a theory unless they can be defined operationally. It is argued in this paper that truth-value is indispensable to science, because a theory can be rejected only (...) if an empirical consequence is false and if falsity of a conclusion entails falsity of a premise. This undermines the above positions. The fourth interpretation isinduction. Induction, by contrast, uses the notion of truth-value. What is focused on here is its reliance on the ultimacy ofobservation. The present thesis is that instrumentalism, conventionalism, and induction are different attempts to handle observations. The common problem is the gap between data and theory.All these interpretations share a philosophy of observationalism. The aim of this paper is to show that the several orthodox interpretations of science all fail to solve the problem of the data-theory gap, and to show that they all presuppose a philosophy of observation. (shrink)

On its first appearance in 1960, J.O. Urmson's Concise encyclopedia of Western philosophy and philosophers established itself as a classic. Its contributors included many of the leading philosophers of the English-speaking world: Ryle, Hare, Strawson, Ayer, Dummett, Williams and many others. They wrote with an authority and individuality which made the Encyclopedia into a lively and engaging introduction to philosophy as well as a convenient reference work. For this edition, supervised by Jonathan Rée, the original articles have been revised and (...) updated, and eighty articles by thirty one new authors have been added. The additions take account of recent developments in philosophy, of literary, historical and political issues in philosophy, and of developments in continental thought, including in Marxism, psychoanalysis, phenomenology, existentialism, structuralism, post-structuralism and deconstruction. There is a clear, integral cross-referencing system which allows the reader to identify points of overlap between philosophical traditions and their personalities at a glance. (shrink)

Philosophical Analysis Its Development between the Two World Wars.

The influence of J. L. Austin on contemporary philosophy was substantial during his lifetime, and has grown greatly since his death, at the height of his powers, in 1960. Philosophical Papers, first published in 1961, was the first of three volumes of Austin's work to be edited by J. O. Urmson and G. J. Warnock. Together with Sense and Sensibilia and How to do things with Words, it has extended Austin's influence far beyond the circle who knew him or read (...) the handful of papers he published in journals. (shrink)